# test.type = 'error'
# eval = 'typecheck'
# 
# [test.metadata]
# error = 'TypecheckError::CtrTypeInTermPos'
(let c = Number -> (4 + 1) in 3): _
